Hoang, Thai Son : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres
Articles (82)
Les plus populaires
Liste
- Liste
- Tableau

Crime rate detection using social media of different crime locations and Twitter part-of-speech tagger with Brown clustering

Vo, Thanh, Sharma, Rohit, Kumar, Raghvendra, Son, Le Hoang, Pham, Binh Thai, Tien Bui, Dieu, Priyadarshini, Ishaani, Sarkar, Manash, Le, Tuong

Journal:

Journal of Intelligent & Fuzzy Systems

Année:

2020

Langue:

english

Fichier:

PDF, 569 KB

english, 2020

Inferring air pollution from air quality index by different geographical areas: case study in India

Sharma, Rohit, Kumar, Raghvendra, Sharma, Devendra Kumar, Son, Le Hoang, Priyadarshini, Ishaani, Pham, Binh Thai, Tien Bui, Dieu, Rai, Sakshi

Journal:

Air Quality, Atmosphere & Health

Année:

2019

Langue:

english

Fichier:

PDF, 660 KB

english, 2019

[IEEE 2013 International Conference of Soft Computing and Pattern Recognition (SoCPaR) - Hanoi, Vietnam (2013.12.15-2013.12.18)] 2013 International Conference on Soft Computing and Pattern Recognition (SoCPaR) - Efficient implementation of a fractal color image compression on FPGA

Son, Thai Nam, Long, Tran V, Thang, Hoang Manh, Dzung, Nguyen Tien

Année:

2013

Langue:

english

Fichier:

PDF, 410 KB

english, 2013

Health Service Utilization Among People With Noncommunicable Diseases in Rural Vietnam

Van Minh, Hoang, Oh, Juhwan, Giang, Kim Bao, Bao Ngoc, Nguyen, Minh Hoang, Nguyen, Giang Huong, Tran Thi, Van Huy, Nguyen, Son, Dinh Thai, Lee, Jong-Koo, Hoat, Luu Ngoc

Journal:

Journal of Public Health Management and Practice

Année:

2018

Langue:

english

Fichier:

PDF, 195 KB

english, 2018

An update on obesity: Mental consequences and psychological interventions

Chu, Dinh-Toi, Minh Nguyet, Nguyen Thi, Nga, Vu Thi, Thai Lien, Nguyen Vu, Vo, Duc Duy, Lien, Nguyen, Nhu Ngoc, Vo Truong, Son, Le Hoang, Le, Duc-Hau, Nga, Vu Bich, Van Tu, Pham, Van To, Ta, Ha, Luu S

Journal:

Diabetes & Metabolic Syndrome: Clinical Research & Reviews

Année:

2018

Langue:

english

Fichier:

PDF, 525 KB

english, 2018

Decomposition tool for event-B

Renato Silva, Carine Pascal, Thai Son Hoang, Michael Butler

Journal:

Software: Practice and Experience

Année:

2011

Langue:

english

Fichier:

PDF, 760 KB

english, 2011

[IEEE 2012 Fourth International Conference on Communications and Electronics (ICCE) - Hue, Vietnam (2012.08.1-2012.08.3)] 2012 Fourth International Conference on Communications and Electronics (ICCE) - Implementation of Fractal image compression on FPGA

Thai Nam Son,, Ong Manh Hung,, Dang Thi Xuan,, Tran Van Long,, Nguyen Tien Dzung,, Thang Manh Hoang,

Année:

2012

Langue:

english

Fichier:

PDF, 1.11 MB

english, 2012

On fractional lyapunov exponent for solutions of linear fractional differential equations

Cong, Nguyen Dinh, Son, Doan Thai, Tuan, Hoang The

Journal:

Fractional Calculus and Applied Analysis

Année:

2014

Langue:

english

Fichier:

PDF, 287 KB

english, 2014

[IEEE 2014 IEEE Fifth International Conference on Communications and Electronics (ICCE) - Danang, Vietnam (2014.7.30-2014.8.1)] 2014 IEEE Fifth International Conference on Communications and Electronics (ICCE) - Fast FPGA implementation of YUV-based fractal image compression

Thai Nam Son,, Thang Manh Hoang,, Nguyen Tien Dzung,, Nguyen Hoai Giang,

Année:

2014

Langue:

english

Fichier:

PDF, 1.94 MB

english, 2014

[IEEE 2013 International Conference on Control, Automation and Information Sciences (ICCAIS) - Nha Trang, Vietnam (2013.11.25-2013.11.28)] 2013 International Conference on Control, Automation and Information Sciences (ICCAIS) - Robust adaptive control of robots using neural network and sliding mode control

Nguyen, Thai-Huu, Minh, Phan-Xuan, Son, Hoang-Minh, Dan, Nguyen-Cong, Quyet, Ho-Gia

Année:

2013

Langue:

english

Fichier:

PDF, 454 KB

english, 2013

[IEEE 2017 9th International Conference on Knowledge and Systems Engineering (KSE) - Hue, Vietnam (2017.10.19-2017.10.21)] 2017 9th International Conference on Knowledge and Systems Engineering (KSE) - Advertisement image classification using convolutional neural network

Vo, An Tien, Tran, Hai Son, Le, Thai Hoang

Année:

2017

Langue:

english

Fichier:

PDF, 940 KB

english, 2017

Prediction of shear strength of soft soil using machine learning methods

Pham, Binh Thai, Son, Le Hoang, Hoang, Tuan-Anh, Nguyen, Duc-Manh, Tien Bui, Dieu

Journal:

CATENA

Année:

2018

Langue:

english

Fichier:

PDF, 2.50 MB

english, 2018

The Degree of Skin Burns Images Recognition using Convolutional Neural Network

Son Tran, Hai, Hoang Le, Thai, Thanh Nguyen, Thuy

Journal:

Indian Journal of Science and Technology

Année:

2016

Langue:

english

Fichier:

PDF, 2.27 MB

english, 2016

Complex Monge-Ampère Equation in Strictly Pseudoconvex Domains

Do, Hoang-Son, Do, Thai Duong, Pham, Hoang Hiep

Journal:

Acta Mathematica Vietnamica

Année:

2019

Langue:

english

Fichier:

PDF, 288 KB

english, 2019

Development of artificial intelligence models for the prediction of Compression Coefficient of soil: An application of Monte Carlo sensitivity analysis

Pham, Binh Thai, Nguyen, Manh Duc, Dao, Dong Van, Prakash, Indra, Ly, Hai-Bang, Le, Tien-Thinh, Ho, Lanh Si, Nguyen, Kien Trung, Ngo, Trinh Quoc, Hoang, Vu, Son, Le Hoang, Ngo, Huong Thanh Thi, Tran,

Journal:

Science of The Total Environment

Année:

2019

Fichier:

PDF, 3.50 MB

2019

Design of a unique holder for structural modification of ZSM-5 zeolite using a 10Â MeV electron beam generated from an industrial UERL-10-15S2 linear accelerator

Trong Phuc, P., Van Chung, C., Tuan Kiet, H.A., Thai Son, L., Dinh, Van-Phuc, Dong Xuan, T., Duy Tap, T., Chi Cuong, L., Ngoc Hue, N.T., Thi Hue, P., Ly Nguyen, L., Nguyen, Le-Phuc, Van Hoang, D., Hoa

Journal:

Radiation Physics and Chemistry

Année:

2020

Fichier:

PDF, 2.19 MB

2020

The Effect of Oxidation Temperature on Activating Commercial Viscose Rayon-Based Carbon Fibers to Make the Activated Carbon Fibers (ACFs)

Vu, Le Hoang, Nguyen, Huu Son, Dang, Quoc Khanh, Pham, Van Cuong, Le, Thai Hung

Journal:

Materials Science Forum

Année:

2020

Fichier:

PDF, 4.61 MB

2020

Tank Monitoring: A pAMN Case Study

Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 297 KB

english, 2005

Developing topology discovery in Event-B

Thai Son Hoang, Hironobu Kuruma, David Basin, Jean-Raymond Abrial

Journal:

Science of Computer Programming

Année:

2009

Langue:

english

Fichier:

PDF, 1.06 MB

english, 2009

Tank monitoring: a pAMN case study

Steve Schneider, Thai Son Hoang, Ken Robinson, Helen Treharne

Journal:

Formal Aspects of Computing

Année:

2006

Langue:

english

Fichier:

PDF, 1.11 MB

english, 2006

Rodin: an open toolset for modelling and reasoning in Event-B

Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta, Laurent Voisin

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2010

Langue:

english

Fichier:

PDF, 473 KB

english, 2010

Development of Control Systems Guided by Models of their Environment

Simon Hudon, Thai Son Hoang

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2011

Langue:

english

Fichier:

PDF, 221 KB

english, 2011

Effect of water management practice on pesticide behavior in paddy water

Hirozumi Watanabe, My Hoang Tra Nguyen, Komany Souphasay, Son Hong Vu, Thai Khanh Phong, Julien Tournebize, Satoru Ishihara

Journal:

Agricultural Water Management

Année:

2007

Langue:

english

Fichier:

PDF, 895 KB

english, 2007

Preface

Hoang, Thai Son

Journal:

Formal Aspects of Computing

Année:

2013

Langue:

english

Fichier:

PDF, 45 KB

english, 2013

Security invariants in discrete transition systems

Hoang, Thai Son

Journal:

Formal Aspects of Computing

Année:

2013

Langue:

english

Fichier:

PDF, 853 KB

english, 2013

Efficient Large-Scale Filter/Filterbank Design via LMI Characterization of Trigonometric Curves

Hoang Duong Tuan, Tran Thai Son, Ba-Ngu Vo, Nguyen, T.Q.

Journal:

IEEE Transactions on Signal Processing

Année:

2007

Langue:

english

Fichier:

PDF, 616 KB

english, 2007

EnterococcusandStreptococcusspp. associated with chronic and self-medicated urinary tract infections in Vietnam

Louise Ladefoged Poulsen, Magne Bisgaard, Nguyen Thai Son, Nguyen Vu Trung, Hoang Manh An, Anders Dalsgaard

Journal:

BMC Infectious Diseases

Année:

2012

Langue:

english

Fichier:

PDF, 212 KB

english, 2012

[IEEE 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Hanoi, Vietnam (2009.11.23-2009.11.27)] 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods - Event-B Patterns and Their Tool Support

Hoang, Thai Son, Fürst, Andreas, Abrial, Jean-Raymond

Année:

2009

Langue:

english

Fichier:

PDF, 342 KB

english, 2009

Event-B patterns and their tool support

Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial

Journal:

Software & Systems Modeling

Année:

2013

Langue:

english

Fichier:

PDF, 814 KB

english, 2013

Reasoning about almost-certain convergence properties using Event-B

Hoang, Thai Son

Journal:

Science of Computer Programming

Année:

2014

Langue:

english

Fichier:

PDF, 430 KB

english, 2014

Refinement of decomposed models by interface instantiation

Hallerstede, Stefan, Hoang, Thai Son

Journal:

Science of Computer Programming

Année:

2014

Langue:

english

Fichier:

PDF, 1.01 MB

english, 2014

[IEEE 2014 IEEE Fifth International Conference on Communications and Electronics (ICCE) - Danang, Vietnam (2014.7.30-2014.8.1)] 2014 IEEE Fifth International Conference on Communications and Electronics (ICCE) - New proposal of chromatic dispersion control in honey comb photonic crystal fiber for broadband communication

Nghiem Xuan Tam,, Nguyen Xuan Son,, Pham Hong Thai,, Nguyen Hoang Hai,

Année:

2014

Langue:

english

Fichier:

PDF, 1.62 MB

english, 2014

[IEEE 2014 19th International Conference on Engineering of Complex Computer Systems (ICECCS) - Tianjin, China (2014.8.4-2014.8.7)] 2014 19th International Conference on Engineering of Complex Computer Systems - From TiMo to Event-B: Event-Driven Timed Mobility

Ciobanu, Gabriel, Hoang, Thai Son, Stefanescu, Alin

Année:

2014

Langue:

english

Fichier:

PDF, 254 KB

english, 2014

The Unit-B method: refinement guided by progress concerns

Hudon, Simon, Hoang, Thai Son, Ostroff, Jonathan S.

Journal:

Software & Systems Modeling

Année:

2016

Langue:

english

Fichier:

PDF, 894 KB

english, 2016

A new platform for RFID research in Vietnam

Tran, Ai Nhan, Nguyen, Son Dat, Thai Pham, Duc Hoang, Nguyen, Thuat Tran, Dang, Chien Mau, Fribourg-Blanc, Eric

Journal:

Advances in Natural Sciences: Nanoscience and Nanotechnology

Année:

2011

Langue:

english

Fichier:

PDF, 432 KB

english, 2011

Synthesis of Silica-Coated Magnetic Nanoparticles and Application in the Detection of Pathogenic Viruses

Quy, Dao Van, Hieu, Nguyen Minh, Tra, Pham Thi, Nam, Nguyen Hoang, Hai, Nguyen Hoang, Thai Son, Nguyen, Nghia, Phan Tuan, Anh, Nguyen Thi Van, Hong, Tran Thi, Luong, Nguyen Hoang

Journal:

Journal of Nanomaterials

Année:

2013

Langue:

english

Fichier:

PDF, 1.13 MB

english, 2013

[IEEE 2012 Fourth International Conference on Knowledge and Systems Engineering (KSE) - Danang, Vietnam (2012.08.17-2012.08.19)] 2012 Fourth International Conference on Knowledge and Systems Engineering - Exploring Neighborhood Influence in Text Classification

Le, Nam Do-Hoang, Tran, Thai-Son, Tran, Minh-Triet

Année:

2012

Langue:

english

Fichier:

PDF, 203 KB

english, 2012

[IEEE 2015 Seventh International Conference on Knowledge and Systems Engineering (KSE) - Ho Chi Minh City, Vietnam (2015.10.8-2015.10.10)] 2015 Seventh International Conference on Knowledge and Systems Engineering (KSE) - Multiple Kernel Learning and Optical Flow for Action Recognition in RGB-D Video

Viet, Vo Hoai, Ngoc, Ly Quoc, Son, Tran Thai, Hoang, Pham Minh

Année:

2015

Langue:

english

Fichier:

PDF, 361 KB

english, 2015

Complexity and synchronization in stochastic chaotic systems

Dang, Thai Son, Palit, Sanjay Kumar, Mukherjee, Sayan, Hoang, Thang Manh, Banerjee, Santo

Journal:

The European Physical Journal Special Topics

Année:

2016

Langue:

english

Fichier:

PDF, 3.43 MB

english, 2016

Large-scale system development using Abstract Data Types and refinement

Fürst, Andreas, Hoang, Thai Son, Basin, David, Sato, Naoto, Miyazaki, Kunihiko

Journal:

Science of Computer Programming

Année:

2016

Langue:

english

Fichier:

PDF, 933 KB

english, 2016

Foundations for using linear temporal logic in Event-B refinement

Hoang, Thai Son, Schneider, Steve, Treharne, Helen, Williams, David M.

Journal:

Formal Aspects of Computing

Année:

2016

Langue:

english

Fichier:

PDF, 979 KB

english, 2016

Finite-time Lyapunov exponents and metabolic control coefficients for threshold detection of stimulus–response curves

Hoang Duc, Luu, Páez Chávez, Joseph, Thai Son, Doan, Siegmund, Stefan

Journal:

Journal of Biological Dynamics

Année:

2016

Langue:

english

Fichier:

PDF, 1.63 MB

english, 2016

Early sexual initiation and multiple sexual partners among Vietnamese women: analysis from the Multiple Indicator Cluster Survey, 2011

Son, Dinh Thai, Oh, Juhwan, Heo, Jongho, Huy, Nguyen Van, Minh, Hoang Van, Choi, Sugy, Hoat, Luu Ngoc

Journal:

Global Health Action

Année:

2016

Langue:

english

Fichier:

PDF, 492 KB

english, 2016

Validating and verifying the requirements and design of a haemodialysis machine using the Rodin toolset

Hoang, Thai Son, Snook, Colin, Salehi, Asieh, Butler, Michael, Ladenberger, Lukas

Journal:

Science of Computer Programming

Année:

2017

Langue:

english

Fichier:

PDF, 4.36 MB

english, 2017

In vitro and in vivo tests of PLA/d-HAp nanocomposite

Nguyen, Thi Thom, Hoang, Thai, Can, Van Mao, Ho, Anh Son, Nguyen, Song Hai, Nguyen, Thi Thu Trang, Pham, Thi Nam, Nguyen, Thu Phuong, Nguyen, Thi Le Hien, Thi, Mai Thanh Dinh

Journal:

Advances in Natural Sciences: Nanoscience and Nanotechnology

Année:

2017

Langue:

english

Fichier:

PDF, 2.14 MB

english, 2017

[IEEE 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE) - Toulouse (2017.10.23-2017.10.26)] 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE) - Formal Development of Policing Functions for Intelligent Systems

Bogdiukiewicz, Chris, Butler, Michael, Hoang, Thai Son, Paxton, Martin, Snook, James, Waldron, Xanthippe, Wilkinson, Toby

Année:

2017

Langue:

english

Fichier:

PDF, 1023 KB

english, 2017

An update on physical health and economic consequences of overweight and obesity

Chu, Dinh-Toi, Minh Nguyet, Nguyen Thi, Dinh, Thien Chu, Thai Lien, Nguyen Vu, Nguyen, Khanh-Hoang, Nhu Ngoc, Vo Truong, Tao, Yang, Son, Le Hoang, Le, Duc-Hau, Nga, Vu Bich, Jurgoński, Adam, Tran, Quo

Journal:

Diabetes & Metabolic Syndrome: Clinical Research & Reviews

Année:

2018

Langue:

english

Fichier:

PDF, 326 KB

english, 2018

[IEEE 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) - Fukuoka (2017.11.5-2017.11.8)] 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) - A Composition Mechanism for Refinement-Based Methods

Hoang, Thai Son, Dghaym, Dana, Snook, Colin, Butler, Michael

Année:

2017

Langue:

english

Fichier:

PDF, 290 KB

english, 2017

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, TLA, VDM, and Z Volume 10817 || Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum

Butler, Michael, Raschke, Alexander, Hoang, Thai Son, Reichl, Klaus

Année:

2018

Langue:

english

Fichier:

PDF, 1.20 MB

english, 2018

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, TLA, VDM, and Z Volume 10817 || Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B

Butler, Michael, Raschke, Alexander, Hoang, Thai Son, Reichl, Klaus

Année:

2018

Langue:

english

Fichier:

PDF, 247 KB

english, 2018